Section: New Results

Micro-Policies and Secure Compilation

Participants : Arthur Azevedo de Amorim [University of Pennsylvania] , André Dehon [University of Pennsylvania and Draper Labs] , Catalin Hritcu, Yannis Juglaret, Boris Eng, Benjamin Pierce [University of Pennsylvania] , Howard Shrobe [MIT] , Stelios Sidiroglou-Douskos [MIT] , Greg Sullivan [Draper Labs] , Andrew Tolmach [Portland State University] .

This year we obtained a new ERC Starting Grant on secure compilation using micro-policies; the grant will start in January 2017. Our work was focused on laying the foundations for this long-term research direction. Preliminary work on this appeared at CSF 2016 [17]. In addition, an improved version of our paper on micro-policies for information flow-control appeared at JFP [1]. Finally, we were part of Draper Labs' patent application on “Techniques for Metadata Processing”, as developed jointly in the micro-policies project.